What would be the consequences for the ocean tides on Earth if the gravitational force between the moon and Earth was suddenly doubled?