As we head into the summer travel season, developments in Washington DC have the potential to make ‘vacation season’ somewhat less relaxing than usual.