Mining Camp Restaurant: Owners of historic restaurant destroyed by fire have decisions to make