Bean Soup with garlic

1 lb dry black beans 1 lb dry red beans 1 lb dry kidney beans 1 lb dry navy beans 1 lb dry great northern beans 1 lb dry baby lima beans 1 lb dry large lima[...]

1 lb prepared white "Great Northern" beans     Lots of water 1 x ham hock or possibly about 1/3 lb smoked ham 2 x carrots , scraped, finely minced[...]