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)