Instruct: What is the diameter in km of t'ien hu colles?
Output: SELECT Diameter (km) FROM table WHERE Name = t'ien hu colles