¿Cuánto le costó a EE.UU. el reciente bombardeo a Siria?