A body found in a lake during the search for a missing woman has been formally identified by police as Rachel Booth.