To the mathematicians, correlation is a statement about random variables

But then this "true correlation" is unobservable, is it not? Except for trivial cases we can never know what it is and can only rely on estimates, aka empirical correlations.

In a causal model, correlation implies causation (somewhere).

Well, that makes Pearl's statement an uninteresting tautology. Correlation implies causation because we construct models this way...