I vote for option #2. Since most of these ships are flagged in the Bahamas maybe the Bahamas should do something besides provide a tax haven and rum cocktails for tourists.