The types of the jurassic reptile Morosaurus agilis redescribed, with a note on Camptosaurus - Gilmore, Charles W. 1874-1945 (Government Printing Office, 1907)