Thor 4 passed Thor in domestic box office. Just didn't do it worldwide because of No China or Russia. Thats why I have said a million times What the 2nd Doctor Strange did was amazing.
As someone pointed out. Only two Marvel sequels didn't make more than the previous movie. IM2 and Age of Ultron.