The lube oil pump used in a diesel engine is a