del Castillo förrådt statshemligheter och meddelat honom officiella aktstycken.