What to Do If You’re Injured on a Ship in Texas