Oil or something water-based that's a good approximation of it (like ballistol).

In general, for fast cutting, a water displacer can be OK (WD 40, etc), or even good for the mid stones. The...