A highlight of our Florida Keys vacation was a boat trip out to the Dry Tortugas National Park.