Do these mean the same?
Lyon County is a lake in Rock Lake , in the U.S. state of Minnesota .
Lyon County is a lake in Rock Lake , in the US state of Minnesota .
yes