Tohatchi Formation of Mesaverde Group, western San Juan Basin, New Mexico