I want to make old style (navy) beans and cornbread with ham. First off, I'm having trouble finding ham hocks, and secondly, navy beans aren't a thing over here? Any suggestions on where to get ham hocks (are ham shanks the same thing?) and alternatives to navy beans?