in 1980-05-08 which ship has keel laid?
(AND boats.ship (JOIN boats.ship.keel_laid 1980-05-08^^http://www.w3.org/2001/XMLSchema#date))