Los barcos con el rey y su comitiva entraron en el puerto de Lisboa el 3 de julio.