News That didn’t make the News: Happy Cinco de Mayo! 5-5-2020