This isn’t vacation pay. This is on top of paid vacation. This is called paid leave.
Yeah, but there’s probably no law requiring paid vacation. Just change the name to “paid leave” to comply with this.