can you tell me which martial artist is the heaviest?
(ARGMAX martial_arts.martial_artist people.person.weight_kg)