a dictionary of the spanish and english languages, abridged