Jorge Juan, los diques de carena y la caseta de bombas del Arsenal de Cartagena