Colin Tung of Singapore in action during the Men's 3000m Steeplechase. He clocked a personal best of 9 minutes and 54.76 seconds to come in 11th. (Photo © Lee Jian Wei/Red Sports)

Colin Tung of Singapore in action during the men’s 3000m Steeplechase. He clocked a personal best of 9 minutes and 54.76 seconds to come in 11th. (Photo 17 © Lee Jian Wei/Red Sports)