Castelo de Marv„o, Portugal