We are seeing a holiday show in DC today and want to take the kids out to dinner in DC or VA afterward. I'm looking for recommendations for a place that might have a fun vibe for the kids and am open to different cuisines.