News agencies identify Ohio killer ‘soldier’ of ISIS