the ship that claims the highest imo / ir identification number is which ship?
(ARGMAX boats.ship boats.ship.imo_lr_identification_number)