O nadador algarvio já era recordista mundial dos 25 metros estilo livre, com 14,15 segundos