Thor 4 réalise un meilleur démarrage que Ragnarok au box-office américain