[1457]Die Schiffpumpe, plur. die -n, eine Art Pumpen, wodurch das Wasser aus den Schiffen gepumpet wird. Schiffspumpe würde sich auf ein bestimmtes Schiff beziehen.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 3. Leipzig 1798, S. 1457.