Funny thing, that: in my language, the word "King" has no gender connotations of it. Queen and King both translate to the exact same term, in my language. It just translates to King here because English is a somewhat gendered language and this translator is pretty good at picking out context.