the highest imo / lr identification number belongs to which ship?
(ARGMAX boats.ship boats.ship.imo_lr_identification_number)