what v1.1 warship was the latest to be launched?
(ARGMAX user.patrick.default_domain.warship_v1_1 boats.ship.launched)