Historical background of the type locality of the Tres Hermanos Sandstone member of the Mancos Shale