David Petraeus — U.S. Army general and public official (born 1952)