also called drilling mud.
See drilling oil, mud.
© 1997 Exxon Company, U.S.A. -- Encyclopedia for the User of Petroleum Products