The holder of any such lease shall have the right to prospect for, mine, and remove any such minerals under the public waters within the area described by such lease.