ethanol as a marine fuel