For two consecutive Olympics the men’s high jump produced a tie — requiring a big decision. In Tokyo four years ago Gianmarco ...