Bland dessa märktes en hög tjensteman.