Admiral Michael Mullen, head of the U.S. Joint Chiefs of Staff