Ethan Tan (#5152) of HCI came in seventh with a timing of 13:49.82. (Photo © Chua Kai Yun/Red Sports)

Ethan Tan (#5152) of HCI came in seventh with a timing of 13:49.82. (Photo 6 © Chua Kai Yun/Red Sports)