what medal did the runner who ran the 3000 metres steeplechase in 9:00.85 monaco win at the 2017 world championships ?
silver