what is the ship that, at waterline, has a minimum length?
(ARGMIN boats.ship boats.ship.length_at_waterline)