Official: Mandzukic escapes ban