Trump orders precision strike on Syria.