World, World Championship. High Jump (Tokyo/JPN)