Revision of R. P. Whitfield's types of rugose and tabulate corals in the Museum of Paleontology, University of California, and in the United States National Museum