Is it permissible for someone who was told he was circumcised by angels to undergo circumcision a second time by a doctor?

"Whoever is born circumcised, that suffices. It was also said that a razor should be passed over him. The first opinion is more sound, especially if the person has reached puberty. There is no evidence that angels are the ones who circumcise a newborn who is born circumcised."