The United States strikes an air base in Syria