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