I would love to take a quick 3-4 day trip over Christmas break. Is DC insane that time of year?