Jakie inne imiona określały pierwszego historycznego władcę polski?