which manufacturer produced the heaviest rocket?
(ARGMAX spaceflight.rocket_manufacturer (JOIN spaceflight.rocket_manufacturer.rockets_manufactured spaceflight.rocket.mass))