Jurisdiction — On the high seas — Injury to alien — Aboard foreign vessel — Maritime tort — Litigation in municipal court — Discretionary nature of jurisdiction — The law of the United States of America.