Where does “pompa” come from?

pompa (Indonesian): pump, a device for moving or compressing a liquid or gas