Otto, Prince of Hungary