Bad news for the ocean beach pier