Release of radioiodine from neutron-irradiated uranium dioxide under oxygen atmosphere