Flag flying over a Washington DC federal building