Exploring Internet traffic during the 2024 U.S. Republican National Convention