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