What should be done to Mariner's Mile?