600 militares españoles trabajan en Irak contra el Estado Islámico