That was a text alert. Also: https://wtop.com/local/2023/06/officials-investigating-reports-of-loud-boom-heard-in-dc-region/