U.S. war costs, casualties, and personnel levels since 9/11 / - Mann, Christopher T.,