Ships' Bilge Pumps: A History of Their Development, 1500-1900 (Studies in Nautical Archaeology)