USS Porter collides with oil tanker