re: #431 Jay in Oregon

Shouldn’t the flag be at half mast?