20170523 world.middle-east: Yemen raid kills seven al-Qaida terrorists: US military