who is the heaviest martial artist?
(ARGMAX martial_arts.martial_artist people.person.weight_kg)