That time the Navy spent a million dollars on an ice cream barge