Current and former captains of Gulf Coast Carnival cut a ribbon to dedicate the den.
Photo album created with Web Album Generator