Two US servicemen and civilian killed by ‘ISIS gunman’ in Syria

Three other service members were injured in the attack, the Pentagon has said

DETAILS TO FOLLOW