A fun statistic about the North Carolina coast