Su nombre actual probablemente se refiere a Cristo Rey más que a cualquier rey concreto.