Puberty is a hell of a drug.
I have a 14 year old lifter who took 3 months off, got 2 inches taller and incidentally gained 10lb, and she's crushing her old PRs. All we did was start LP again.
I can't speak to what the US Olympic team would have done to a skinny 13 year old in terms of training.