The White House, Executive Order 12885, Amendment to Executive Order No. 12829 (Dec. 14, 1993) (full-text).