“It’s history, my friend.”

Presenting the top contender for “feel-good moment” from this year’s Olympics in Tokyo: in the Men’s High Jump event, Qatar’s Mutaz Essa Barshim and Italy’s Gianmarco Tamberi tied for first and faced a tiebreaking jump-off. Instead, Barshim proposed t…