“National Maritime Day, a day we honor all United States professional mariners for…”