Please answer the following question: Question: Who was John R Detroit I found the following answer on Google: John R Williams (May 4, 1782 October 20, 1854) was an American soldier, merchant, and politician who is most well known for serving as the first mayor of Detroit, Michigan . Is that a correct answer? Yes or no.
A:
No