Trump means to halve number of EPA employees