We will be at DC on May 12. What time is the best to get there? Early in the am or can we wait until mid am? Is it possible to spend a whole day there, or should we not plan for that long? It is just my husband and I, so we are pretty flexible, but I wanted to also get a good dolphin swim time. Any help would be great! Thanks!