Сколько президентов Соединённых Штатов Америки имели чин генерала (по состоянию на середину 2016 года)?