Key West den 12 maj.