Ordem do rei para António de Castilho não ir a Ceuta See original record