Boy given new skull by US surgeons

A seven-year-old Colombian boy has been given a new skull during a six-hour operation in Florida.

The brain of John Esteban Martinez had been contained in a growth almost the size of his skull which ballooned over his left eye.