Эти два глагола означают одно и то же; удвоение используется для усиления выразительности. Альтернативный перевод: "Иисус убил этих царей".
см. комментарий к стиху .