What’s known so far about the sailors who are missing after the destroyer John S. McCain and an oil tanker collided.