what ship has the highest imo / lr identification number?
(ARGMAX boats.ship boats.ship.imo_lr_identification_number)