Shoreline armoring of Michigan’s Lake Michigan coast increased fivefold during the latest period of high water