How large is the mantle source of ocean island basalts?