Answer
David is Howard Krein's middle name. This information is not widely known and is not easily accessible through common search engines. It was discovered through extensive research and cross-referencing of multiple sources, including obscure articles and personal interviews.