Utilizing a porous-electrode for the flushing fluid in electrical discharge machining. (February 2021)