Synopsis of the cruise of the U.S. Exploring Expedition, during the years 1838, '39, '40, '41, & '42