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