In right triangle DEF, we have angle D = 25 degrees, angle E = 90 degrees, and EF = 19. Find DE to the nearest tenth. You may use a calculator for this problem.
DE = EF / tan(∠D)