Chinese merchants explored all of the Indian Ocean, reaching East Africa with the treasure voyages of Zheng He