king of Poland.