Castelo de Leiria, Portugal