Suppose you are interested in the lengths of a certain species of snake in Lyman Lake. Assume the lengths (in centimeters) are normally distributed with unknown mean μ but known standard deviation σ = 4. You decide to test H0: μ = 25 versus HA: μ > 25 at α = 0.05 with a sample size of 30. What is the power of the test if, in fact, μ = 27?