What is the square root of 20 times the square root of 80?