U.S. marks official end to Iraq War