Original: Bay Lake is a city in Orange County , Florida , United States .
Simplified: Bay Lake is a city of Florida in the United States .