«Король» в русском языке произошёл от Карла. Великого. Который Carolus Magnus. Он же основал династию Каролингов. Поэтому там в Европе правили какие-то кароли, а у нас сплошь князья, а после Ивана-4 уже и цари. А царь это от Caesar, тоже нездешнее слово. Короче король Карл - это как минимум забавно.