We are arriving in DC on a Thursday afternoon in June and will be checking into the Willard Hotel around 4:00. From there we plan to take a walk around the White House, then grab a dinner somewhere before doing a monument tour. I see that food directly around the Mall is limited. Can anyone offer suggestions for a quick bite (where we could walk in) near the Mall after coming on foot from the White House? If there are food trucks nearby, that might even work. Any help is appreciated. Thanks.