port arthur is part of texas