10-year-old Spanish runner completes 25km run at 4:57 pace