What did john Philip holland die from?