Key West den 9 maj.