Jak nazywał się pierwszy król Polski?