Pedro Pichardo jumping in the Tokyo 2020 Olympic Games, where he was ...