Ok, mea culpa
Entonces recomiendo cambiar el archivo .htaccess o bien crear un archivo index.php que te redireccione a portal.php (redirección permanente 302). Esta última opción es sólo si estas interesado en posicionarte por la clave "portal" ya que la palabra clave formaría parte de la url.
Un saludo.