Red Sea ports handled over 13,000 tons of goods