On different name boards I noticed people talking about the names Joaquin or Joaquim. I did wonder what the proper English version of the name is. It seems like it is Joachim. I did never hear of it. Was the name ever used much in either England, the US or anywhere else?