then the red heated magma cooled and solidified to form a red top dome above the red clay dirt but when alabama miners drilled the red dome for iron ore in the year 1723 they found oceans of pink granite inside the mountain .