George Walker Bush (2016). Public Papers of the Presidents of the United States, George W. Bush. Government Printing Office.