Sounds like a marine stove of some sort. They are common in that environment, especially for safety reasons (lighter than air and won't pool in the bilges and go boom).
_________________________
Geezer in Chief