How many pets does John Grisham have?