Speaking on condition of a**nymity, the official said options include strikes to ground the Syrian air force.
Pentagon chief Jim Mattis is presenting the options to President Donald Trump and administration officials in response to White House requests, the official said.
The official stressed that ** decisions had been taken.