The Washington Monument and its Height Calculation