budgeten för marinen för 1873 —74