【陸上競技】5000mの世界記録 12分35秒←!?