Red Sea ports handled 12,672 tons and trucks