of the world golf courses, which one has a length of 7130.0?
(AND sports.golf_course (JOIN sports.golf_course.length 7130.0^^http://www.w3.org/2001/XMLSchema#float))