BSEE: 19% of US gulf oil output remains shut due to Harvey