Adm. Michael Mullen, chairman of the Joint Chiefs of Staff       Media.NPR.org