what american football head coach has the largest weight?
(ARGMAX american_football.football_coach people.person.weight_kg)