Has the name "Michael Afton" ever been mentioned in canon?

This is just something I've been thinking of a bit recently. We know that William Afton has a son named Michael, and that said son is also Mike Schmidt from the first game, but is he ever called Michael Afton? I can't recall it ever happening. I'm not denying his relation to William, but I'm wondering if maybe he got his name legally changed or something. I also think that him using Mike Schmidt as a fake name doesn't make much sense, since it would be fairly easy to tie back to him.