Text this: Does the global Sukuk market offer any portfolio diversification opportunity for Indonesian investors?