The U.S. military has drafted options for three days of strikes, but in recent months the president has repeatedly vetoed plans to restart the war.