juan el portugues