Mixing and flushing in the Persian Gulf (Arabian Gulf)