An upper bound on the radius of a highly electrically conducting lunar core