Tropical Storm Arlene becomes first named storm of 2023 hurricane season in Gulf of Mexico