A few years back on my trip to DC we had a light lunch at a rooftop bar/terrace. I seem to recall it was located in a historic hotel. I remember it looked down over the White House. It wasn't hip or clubby - it was more reserved and established. Can anyone help me remember the name?? Thanks!