hotchkiss 42mm gun