20160501 world.middle-east: 'Kill them wherever they are': ISIS hackers publish 'hit list' of 70 US military personnel