Electronic discharge machine