We're taking a break for Marine Day - but if you're interested, here's a very abridged history of this national holiday's origins.
