Guerra del 42