1986-05-03 marks the date of which ship launching?
(AND boats.ship (JOIN boats.ship.launched 1986-05-03^^http://www.w3.org/2001/XMLSchema#date))