Red Sea ports handle 12,000 tons of cargo