Opening https://www.king5.com/article/news/local/washington-city-changes-name-to-boo-coda-for-halloween/281-603097538