What country did this visiting king come from?