Email Record: The history and development of ships' bilge pumps, 1500-1840 /