First version retracted by the author. The ideals I_k are actually over Q(zeta_p), not K. Hence, the class number of the ideal class group is not necessarily 1.
Update (25/02/2025): Paper updated with an entirely different classical algebro-geometric argument.