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