リオデジャネイロ五輪男子４００メートル個人メドレーで金メダルを獲得した萩野公介