Red Sea from various charts to 1955 / [cartographic material] Yale Public content