Robert P. Linderman — American industrialist