Tropical Storm Arthur, the first named storm of the season, weakened into a post-tropical cyclone this week, but still ...