the heaviest rocket was produced by what manufacturer?
(ARGMAX spaceflight.rocket_manufacturer (JOIN spaceflight.rocket_manufacturer.rockets_manufactured spaceflight.rocket.mass))