@SteveBellovin EO12333 would apply, had it been in effect.