U.S. military updates options for potential Syria strike, source says