Leopard shark spotted in Lake Merritt