The Republican Convention comes to a close.