The sound of waves in Jeju, Korea