which warship v1.1 was launched most recently?
(ARGMAX user.patrick.default_domain.warship_v1_1 boats.ship.launched)