One of EPA's top cops is retiring