Strange Rock on Mars

Percy found something interesting on Mars:

https://mars.nasa.gov/mars2020/multimedia/raw-images/SI1_0185_0683368184_652ECM_N0070000SRLC00720_000085J

Wider view here:

https://mars.nasa.gov/mars2020/multimedia/raw-images/SI1_0185_0683368050_667ECM_N0070000SRLC02502_000085J

Looks like it was cleared by the rotary brush on the rover. Haven't found a caption or other images so far. These are among some of the most recent sent down.

It seems to be a hole in a rock:

https://mars.nasa.gov/mars2020/multimedia/raw-images/ZL0_0187_0683543136_911EBY_N0070000ZCAM08207_1100LMJ

There's no scale, but that looks too big and shallow for the drill.