Thomas Boyden runs 4:09.33 for 1600m