juru pompa istilah pelayaran awak kapal yang bertugas melayani instalasi pompa muatan pada kapal tangki