Partial validation and verification of the Neumann-Michell theory of ship waves