List of famous people having first name John Allen