Ocean Properties acquires Florida Keys hotel portfolio