A smaller Latin-English dictionary with a dictionary of proper names