Box Office: ‘Thor: Ragnarok’ repeats at No. 1