Lionel Messi already held numerous World Cup records. There was perhaps one minor unfulfilled...