which rockets have a diameter of 8.4?
(AND spaceflight.rocket (JOIN spaceflight.rocket.diameter_meters 8.4^^http://www.w3.org/2001/XMLSchema#float))