who is the heaviest american football player?
(ARGMAX american_football.football_player people.person.weight_kg)