Betting markets had favored April 18 as the day the federal mask mandate on public transportation would finally get lifted. That is basically what happened — but from an unexpected source.

The Centers for Disease Control and Prevention weren’t quite willing to drop it just yet, having extended the mandate from April 18 to May 3. A federal judge in Tampa, Florida, however, stepped in.