El gallego Adrián Ben se mete en la final de 800 metros de las Olimpiadas