9 tornadoes hit Gulf Coast