The external trade of the Indus civilization