Porta da Traição, Castelo de Leiria, Portugal