Amount the Washington Monument has sunk since its 1885 dedication.