According to the Chemical Data Guide, what is a recommended extinguishing agent for an ethyl chloride fire?