Title: A short history of operations research in the United States Navy