the imo / lr identification number of 7813937 can be found on what ship?
(AND boats.ship (JOIN boats.ship.imo_lr_identification_number 7813937^^http://www.w3.org/2001/XMLSchema#integer))