If the engine coolant leaks into the engine oil, then engine oil